The central hypothesis of the collaboration between Language and Computing (L&C) and the Institute for Formal Ontology and Medical Information Science (IFOMIS) is that the methodology and conceptual rigor of a philosophically inspired formal ontology greatly benefits application ontologies. To this end r®, L&C’s ontology, which is designed to integrate and reason across various external databases simultaneously, has been submitted to the conceptual demands of IFOMIS’s Basic Formal Ontology (BFO). With this project we aim to move beyond the level of (...) controlled vocabularies to yield an ontology with the ability to support reasoning applications. Our general procedure has been the implementation of a meta-ontological definition space in which the definitions of all the concepts and relations in LinKBase® are standardized in a framework of first-order logic. In this paper we describe how this standardization has already led to an improvement in the LinKBase® structure that allows for a greater degree of internal coherence than ever before possible. We then show the use of this philosophical standardization for the purpose of mapping external databases to one another, using LinKBase® as translation hub, with a greater degree of success than possible hitherto. We demonstrate how this offers a genuine advance over other application ontologies that have not submitted themselves to the demands of philosophical scrutiny. LinKBase® is one of the world’s largest applications-oriented medical domain ontologies, and BFO is one of the world’s first philosophically driven reference ontologies. The collaboration of the two thus initiates a new phase in the quest to solve the so-called “Tower of Babel”. (shrink)

Entrevista com Júlia Rebouças, curadora, pesquisadora e crítica de arte.

There is no doubt that custard apple diseases are among the important reasons that destroy the Custard Apple plant and its agricultural crops. This leads to obvious damage to these plants and they become inedible. Discovering these diseases is a good step to provide the appropriate and correct treatment. Determining the treatment with high accuracy depends on the method used to correctly diagnose the disease, expert systems can greatly help in avoiding damage to these plants. The expert system correctly diagnoses (...) Custard Apple disease to make it easier for farmers to find the right treatment based on the appropriate diagnosis. Objectives: A specialized syllable language system was established for the diagnosis of Custard Apple plant disease. (shrink)

Ontologies are some of the most central constructs in today's large plethora of knowledge technologies, namely in the context of the semantic web. As their coinage indicates, they are direct heirs to the ontological investigations in the long Western philosophical tradition, but it is not easy to make bridges between them. Contemporary ontological commitments often take causality as a central aspect for the ur-segregation of entities, especially in scientific upper ontologies; theories of causality and philosophical ontological investigations often go hand-in-hand, (...) and were essentially inseparable in medieval thought. This constitutes the foundation for a bridge, and this article analyzes the causality-based ontology of the late medieval philosopher Dietrich of Freiberg from the viewpoint of today's upper-ontology engineering. In this bridging attempt, it offers a translation into English of the first part of Dietrich's De origine (abbreviated title) that is a compromise between traditional scholarly translations of medieval Latin philosophical texts and contemporary ontology. (shrink)

While there seems to be much evidence that perceptual states can occur without being conscious, some theorists recently express scepticism about unconscious perception. We explore here two kinds of such scepticism: Megan Peters and Hakwan Lau's experimental work regarding the well-known problem of the criterion -- which seems to show that many purported instances of unconscious perception go unreported but are weakly conscious -- and Ian Phillips' theoretical consideration, which he calls the 'problem of attribution' -- the worry that many (...) purported examples of unconscious perception are not perceptual, but rather merely informational and subpersonal. We argue that these concerns do not undermine the evidence for unconscious perception and that this sceptical approach results in a dilemma for the sceptic, who must either deny that there is unconscious mentality generally or explain why perceptual states are unique in the mind such that they cannot occur unconsciously. Both options, we argue, are problematic. (shrink)

It is crucial to actively detect the risks of transactions in a financial company to improve customer experience and minimize financial loss. In this study, we compare different machine learning algorithms to effectively and efficiently predict the legitimacy of financial transactions. The algorithms used in this study were: MLP Repressor, Random Forest Classifier, Complement NB, MLP Classifier, Gaussian NB, Bernoulli NB, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Bagging Classifier, Decision Tree Classifier and Deep Learning. The dataset (...) was collected from Kaggle depository. It consists of 6362620 rows and 10 columns. The best classifier with unbalanced dataset was the Random Forest Classifier. The Accuracy 99.97%, precession 99.96%, Recall 99.97% and the F1-score 99.96%. However, the best classifier with balanced dataset was the Bagging Classifier. The Accuracy 99.96%, precession 99.95%, Recall 99.98% and the F1-score 99.96%. (shrink)

Multidimensional concepts are everywhere, and they are important. Examples include moral value, welfare, scientific confirmation, democracy, and biodiversity. How, if at all, can we aggregate the underlying dimensions of a multidimensional concept F to yield verdicts about which things are Fer than which overall? Social choice theory can be used to model and investigate this aggregation problem. Here, we focus on a particularly thorny problem made salient by this social choice-theoretic framework: the underlying dimensions of a given concept might be (...) measurable on different types of scales—e.g., some ordinal and some cardinal. An underappreciated impossibility theorem due to Anna Khmelnitskaya shows that seemingly plausible constraints on aggregation across scale types are inconsistent. This impossibility threatens to render the notion of overall Fness incoherent. We attempt to defuse this threat, arguing that the impossibility depends on an overly restrictive conception of measurement and of how measurement constrains aggregation. Adopting a more flexible—and, we think, more perspicuous—conception of measurement opens an array of possibilities for aggregation across disparate scale types. (shrink)

I argue for an account of grasping, or understanding that, on which we grasp via a higher‐order mental act of Husserlian fulfillment. Fulfillment is the act of matching up the objects of our phenomenally presentational experiences with those of our phenomenally representational thought. Grasping‐by‐fulfilling is importantly different from standard epistemic aims, in part because it is phenomenal rather than inferential. (I endorse Bourget's (2017) arguments to that effect.) I show that grasping‐by‐fulfilling cannot be a species of propositional knowledge or belief, (...) and that it is not essentially connected to justification. I motivate a revisionary epistemology on which achieving propositional knowledge and coming to grasp are dual epistemic aims. My account makes sense of a common occurrence—that we are often unmoved to act on our beliefs until we come to phenomenally experience them in some way. It also explains puzzling features of human inquiry. (shrink)

Plato is associated with the idea that the body holds us back from knowing ultimate reality and so we should try to distance ourselves from its influence. This sentiment appears is several of his dialogues including Theaetetus where the flight from the physical world is compared to becoming like God. In some major dialogues of Plato's later career such as Philebus and Laws, however, the idea of becoming like God takes a different turn. God is an intelligent force that tries (...) to create order in the physical world. I argue that likeness to God in these dialogues involves imitating God's effort by trying to order our bodies, souls, and societies as intelligence directs. Becoming like Plato's God is not to abandon the world. It is to improve it. (shrink)

The van Wijngaarden grammars are two-level grammars that present many interesting properties. In the present article I elaborate on six of these properties, to wit, (i) their being constituted by two grammars, (ii) their ability to generate (possibly infinitely many) strict languages and their own metalanguage, (iii) their context-sensitivity, (iv) their high descriptive power, (v) their productivity, or the ability to generate an infinite number of production rules, and (vi) their equivalence with the unrestricted, or Type-0, Chomsky grammars.

Not focusing on the history of classical logic, this book provides discussions and quotes central passages on its origins and development, namely from a philosophical perspective. Not being a book in mathematical logic, it takes formal logic from an essentially mathematical perspective. Biased towards a computational approach, with SAT and VAL as its backbone, this is an introduction to logic that covers essential aspects of the three branches of logic, to wit, philosophical, mathematical, and computational.

Rainfall prediction is one of the challenging tasks in weather forecasting. Accurate and timely rainfall prediction can be very helpful to take effective security measures in dvance regarding: on-going construction projects, transportation activities, agricultural tasks, flight operations and flood situation, etc. Data mining techniques can effectively predict the rainfall by extracting the hidden patterns among available features of past weather data. This research contributes by providing a critical analysis and review of latest data mining techniques, used for rainfall prediction. In (...) our proposed system we propose a new forecasting method that uses a Convolutional Neural Network monthly rainfall for a selected location. In our proposed system we are going to forecast the rainfall result based on the mean square error, mean absolute error and root mean square error, which we get in train and test of the dataset based deep learning technique. (shrink)

We often appeal to the notion of an agent’s commitment to action to characterize, e.g., an agent’s faithfulness to a promise she has given to another, her robust disposition to pursue a goal she values or cares about, and her determination to stick to that goal. In the philosophy of action, that notion is often associated with the idea of an agent’s intention to act. In ethics, it is associated primarily with the idea of an agent’s commitment to, or endorsement (...) of, a certain norm. This essay argues that both these ideas, of intention and of normative endorsement, are central to the –or, at least, an—ordinary notion of an agent’s (psychological) commitment to action. In so doing, the essay also sheds light on important features of intention. -/- Keywords: commitment – intention – normative endorsement – stability across contexts – coordination. (shrink)

Biological evolution is a complex blend of ever changing structural stability, variability and emergence of new phe- notypes, niches, ecosystems. We wish to argue that the evo- lution of life marks the end of a physics world view of law entailed dynamics. Our considerations depend upon dis- cussing the variability of the very ”contexts of life”: the in- teractions between organisms, biological niches and ecosys- tems. These are ever changing, intrinsically indeterminate and even unprestatable: we do not know ahead of (...) time the ”niches” which constitute the boundary conditions on selec- tion. More generally, by the mathematical unprestatability of the ”phase space”, no laws of mo- tion can be formulated for evolution. We call this radical emergence, from life to life. The purpose of this paper is the integration of variation and diversity in a sound concep- tual frame and situate unpredictability at a novel theoretical level, that of the very phase space. Our argument will be carried on in close comparisons with physics and the mathematical constructions of phase spaces in that discipline. The role of symmetries as invariant preserving transformations will allow us to under- stand the nature of physical phase spaces and to stress the differences required for a sound biological theoretizing. In this frame, we discuss the novel notion of ”enablement”. Life lives in a web of enablement and radical emergence. This will restrict causal analyses to differential cases. Mutations or other causal differ- ences will allow us to stress that ”non conservation princi- ples” are at the core of evolution, in contrast to physical dynamics, largely based on conservation principles as sym- metries. Critical transitions, the main locus of symmetry changes in physics, will be discussed, and lead to ”extended criticality” as a conceptual frame for a better understanding of the living state of matter. (shrink)

Abstract: Heart diseases are increasing daily at a rapid rate and it is alarming and vital to predict heart diseases early. The diagnosis of heart diseases is a challenging task i.e. it must be done accurately and proficiently. The aim of this study is to determine which patient is more likely to have heart disease based on a number of medical features. We organized a heart disease prediction model to identify whether the person is likely to be diagnosed with a (...) heart disease or not using the medical features of the person. We used many different algorithms of machine learning such as Gaussian Mixture, Nearest Centroid, MultinomialNB, Logistic RegressionCV, Linear SVC, Linear Discriminant Analysis, SGD Classifier, Extra Tree Classifier, Calibrated ClassifierCV, Quadratic Discriminant Analysis, GaussianNB, Random Forest Classifier, ComplementNB, MLP Classifier, BernoulliNB, Bagging Classifier, LGBM Classifier, Ada Boost Classifier, K Neighbors Classifier, Logistic Regression, Gradient Boosting Classifier, Decision Tree Classifier, and Deep Learning to predict and classify the patient with heart disease. A quite helpful approach was used to regulate how the model can be used to improve the accuracy of prediction of heart diseases in any person. The strength of the proposed model was very satisfying and was able to predict evidence of having a heart disease in a particular person by using Deep Learning and Random Forest Classifier which showed a good accuracy in comparison to the other used classifiers. The proposed heart disease prediction model will enhances medical care and reduces the cost. This study gives us significant knowledge that can help us predict the person with heart disease. The dataset was collected from Kaggle depository and the model is implemented using python. (shrink)

One of the advantages of my account in the essay “Instantiation as Partial Identity” was capturing the contingency of instantiation—something David Armstrong gave up in his experiment with a similar view. What made the contingency possible for me was my own non-standard account of identity, complete with the apparatus of counts and aspects. The need remains to lift some obscurity from the account in order to display its virtues to greater advantage. To that end, I propose to respond to those (...) who have grappled with it in print. There are various criticisms by commentators: that it is rendered absurd by the transitivity of identity, that it makes instantiation necessary instead of contingent, that it is unclear what counts are, that aspects are simply tropes, that my view does not capture multiple location, that I make an unclear reference to a theory of composition as identity, that the account suffers from problems with polyadicity, and that it is not a realist account of universals after all. I give responses to these objections. (shrink)

A standard view in philosophy is that knowledge entails justification. Yet recent research suggests otherwise. We argue that this admirable and striking research suffers from an important limitation: participants were asked about knowledge but not justification. Thus it is possible that people attributed knowledge partly because they thought the belief was justified. Perhaps though, if given the opportunity, people would deny justification while still attributing knowledge. It is also possible that earlier findings were due to perspective taking. This paper reports (...) further research that directly addresses these questions. Our findings support the hypothesis that knowledge entails justification on the ordinary view. (shrink)

Genera, typically hand-in-hand with their branching species, are essential elements of vocabulary-based information constructs, in particular scientific taxonomies. Should they also feature in formal ontologies, the highest of such constructs? I argue in this article that the answer is “Yes” and that the question posed in its title also has a Yes-answer: The way medieval ontologists sliced up the world into genera does matter to formal ontology. More specifically, the way Dietrich of Freiberg, a Latin scholastic, conceived and applied strictly (...) generic criteria to slice up the world into its entities can provide some guidelines to the field of formal ontology with respect to not only its contents, but also its scope. In particular, Dietrich's information criterion plays here a central role. (shrink)

The gulf between philosophical and formal ontology can and should be bridged. In this Editorial, I elaborate briefly on this subject.

Background: Mint is a grassy, perennial plant, belonging to the oral platoon, fast growing and spreading, its leaves are green in color, fragrant, tart, refreshing, square-shaped leg, bifurcated, erect, ranging in height from (10 - 201 cm). Home to Europe and Asia. The mint plant has many benefits, the most important of which are pain relief, treatment of gallbladder disorders, the expulsion of gases, anti-inflammatory, and relaxing nerves. While the mint plant is the ideal option for the start of gardens, (...) it is prone to some common diseases that affect the plant's growth. Objectives: The main goal of this expert system is to get the appropriate diagnosis of disease and the correct treatment. Methods: In this paper, the design of the proposed Expert System was produced to help Farmers and those interested in agriculture in diagnosing many of the Mint diseases such as Mint rust, Verticillium wilt, Anthracnose, Powdery mildew, Black Stem Rot, Stem and stolon canker, Septoria leaf spot. The proposed expert system presents an overview of mint diseases are given, the cause of diseases outlined and the treatment of disease whenever possible is given out. CLIPS Expert System language was used for designing and implementing the proposed expert system. Results: The proposed Mint diseases diagnosis expert system was evaluated by Agricultural Students at AL Azhar University and some friends interested in agriculture and they were satisfied with its performance. Conclusions: The proposed expert system is very useful for Farmers and those interested in agriculture. (shrink)

This paper focuses on the research field of machine ethics and how it relates to a technological singularity—a hypothesized, futuristic event where artificial machines will have greater-than-human-level intelligence. One problem related to the singularity centers on the issue of whether human values and norms would survive such an event. To somehow ensure this, a number of artificial intelligence researchers have opted to focus on the development of artificial moral agents, which refers to machines capable of moral reasoning, judgment, and decision-making. (...) To date, different frameworks on how to arrive at these agents have been put forward. However, there seems to be no hard consensus as to which framework would likely yield a positive result. With the body of work that they have contributed in the study of moral agency, philosophers may contribute to the growing literature on artificial moral agency. While doing so, they could also think about how the said concept could affect other important philosophical concepts. (shrink)

Much ado – and increased complexity – is generally the case when it comes to checking formally the (intended) meaning of programs, as formal semantics for programs are typically extrinsic to both them and the formal grammars that generate the programming languages in which they are written. The van Wijngaarden grammars, on the contrary, have an intrinsic semantics in the sense that their rules contain or express the (intended) meaning of the terminal strings generated by them. This intrinsicness allows for (...) preservation of meaning both in syntactic change and context-sensitive conditions. In order better to show the intrinsicness of the semantics of the van Wijngaarden grammars I contrast them with the attribute grammars, a frequent choice when the semantic analysis of programming languages is called for (e.g., in compilation). (shrink)

Cardiovascular diseases (CVD) represent a significant cause of morbidity and mortality worldwide, necessitating early detection for effective intervention. This research explores the application of machine learning (ML) algorithms in predicting cardiovascular diseases with enhanced accuracy by integrating optimization techniques. By leveraging data-driven approaches, ML models can analyze vast datasets, identifying patterns and risk factors that traditional methods might overlook. This study focuses on implementing various ML algorithms, such as Decision Trees, Random Forest, Support Vector Machines, and Neural Networks, optimized through (...) techniques like hyperparameter tuning, cross-validation, and feature selection to improve prediction accuracy. (shrink)

Abstract: Smoke detectors are critical devices for early fire detection and life-saving interventions. This research paper explores the application of Artificial Neural Networks (ANNs) in smoke detection systems. The study aims to develop a robust and accurate smoke detection model using ANNs. Surprisingly, the results indicate a 100% accuracy rate, suggesting promising potential for ANNs in enhancing smoke detection technology. However, this paper acknowledges the need for a comprehensive evaluation beyond accuracy. It discusses potential challenges, such as overfitting, dataset size, (...) and class imbalance, and presents strategies employed to address these issues. Additionally, the paper emphasizes the importance of alternative evaluation metrics, including precision, recall, and F1-score, to assess the model's performance comprehensively. Detailed information regarding the model architecture, data preprocessing, and hyperparameter tuning is provided to enhance the reproducibility of the research. The study also discusses ethical considerations and the implications of false positives and false negatives in smoke detection applications. While achieving 100% accuracy is a notable accomplishment, this paper calls for cautious interpretation and further validation in real-world settings. It concludes by highlighting areas for future research and improvement in smoke detection technology, emphasizing the need for practical deployment and the reduction of false alarms. (shrink)

Knowledge representation (KR) is actually more than representation: It involves also inference, namely inference of “new” knowledge, i.e. new facts. Logic programming is a suitable KR medium, but more often than not discussions on this programming paradigm focus on aspects other than KR. In this paper, I elaborate on the general theory of logic programming and give the essentials of two of its main implementations, to wit, Prolog and Datalog, from the viewpoint of deductive computing over knowledge bases, which includes (...) deductive programming. (shrink)

Phishing attacks remain one of the most prevalent cybersecurity threats, affecting individuals and organizations globally. The rapid evolution of phishing techniques necessitates more sophisticated detection and classification methods. In this paper, we propose a novel approach to phishing content classification using a Genetic Ranking Optimization Algorithm (GROA), combined with dynamic weighting, to improve the accuracy and ranking of phishing versus legitimate content. Our method leverages features such as URL structure, email content analysis, and user behavior patterns to enhance the detection (...) system's decision-making process. (shrink)

This paper provides an account of Kant's categories of freedom, explaining how they fit together and what role they are supposed to play. My interpretation places particular emphasis on the structural features that the table of the categories of freedom shares with the table of judgements and the table of categories laid out by Kant in the Critique of Pure Reason. In this way we can identify two interpretative constraints, namely (i) that the categories falling under each heading must form (...) a synthetic unity whereby the third one derives from the combination of the other two. and (ii) that the first two categories falling under each heading must be morally undetermined and sensibly conditioned, while the third category is sensibly unconditioned and determined only by the moral law. (shrink)

Psychiatric patients sometimes ask where to draw the line between who they are – their selves – and their mental illness. This problem is referred to as the self-illness ambiguity in the literature; it has been argued that solving said ambiguity is a crucial part of psychiatric treatment. I distinguish a Realist Solution from a Constructivist one. The former requires finding a supposedly pre-existing border, in the psychiatric patient’s mental life, between that which belongs to the self and that which (...) belongs to the mental illness. I argue that no such border exists, and that attempts to find it might even render the felt ambiguity worse. Instead, any solution must be constructivist; the patient (and others) should deliberate and discuss what to identify with or not. I further argue that psychiatric patients need not see their mental illness as wholly distinct from themselves to avoid ‘identifying with their diagnoses' in a problematic way. Finally, we can excuse problematic behaviour by mentally ill people – in fact, we can do so in a more nuanced and constructive way – while rejecting the view that the mental illness is wholly distinct from the patient’s self. (shrink)

Abstract: Artificial Intelligence (AI) is transforming the agricultural sector, enhancing both productivity and sustainability. This paper delves into the impact of AI technologies on agriculture, emphasizing their application in precision farming, predictive analytics, and automation. AI-driven tools facilitate more efficient crop and resource management, leading to higher yields and a reduced environmental footprint. The paper explores key AI technologies, such as machine learning algorithms for crop monitoring, robotics for automated planting and harvesting, and data analytics for optimizing resource use. Additionally, (...) it discusses challenges like data privacy, barriers to technology adoption, and the ethical implications of AI in farming. Integrating AI into agricultural practices holds the promise of greater efficiency and sustainability, paving the way for future innovations. (shrink)

This paper highlights John Stuart Mill’s views on the problem of gender equality as expressed in The Subjection of Women, which is commonly regarded as one of the core texts of Enlightenment liberal feminism of the 19th century. In this paper, the author outlines the historical context of both Mill’s views and his personal biography, which influenced his argumentation for the emancipation of women, and considers Mill’s utilitarianism and liberalism, as the main philosophical background for his criticism of social conditions (...) that subordinated women. She reflects on some of the philosopher’s ideas and arguments for equality and friendship between women and men which may still be considered noteworthy and relevant. Attention is also given to the main lines of contemporary reception of Mill’s liberal feminism from the perspective of current feminist philosophy, within which certain critical views predominate. Despite some problematic points in Mill’s considerations, his essay on women’s subjection may be regarded as one of the philosophically most interesting conceptions of liberal feminist thinking. (shrink)

I argue for three conclusions. First, responsibility skeptics are committed to the position that the criminal justice system should adopt a universal nonresponsibility excuse. Second, a universal nonresponsibility excuse would diminish some of our most deeply held values, further dehumanize criminals, exacerbate mass incarceration, and cause an even greater number of innocent people (nonwrongdoers) to be punished. Third, while Saul Smilansky's ‘illusionist’ response to responsibility skeptics – that even if responsibility skepticism is correct, society should maintain a responsibility‐realist/retributivist criminal justice (...) system – is generally compelling, it would not work if a majority of society were to convert, theoretically and psychologically, to responsibility skepticism. In this (highly improbable) scenario, and only in this (highly improbable) scenario, the criminal justice system would need to be reformed in such a way that it aligned with the majority's responsibility‐skeptical beliefs and attitudes. (shrink)

In the United States, police use of force experts often maintain that controversial police shootings where an unarmed person’s hand gesture was interpreted as their “going for a gun” are justifiable. If an officer waits to confirm that a weapon is indeed being pulled from a jacket pocket or waistband, it may be too late to defend against a lethal attack. This article examines police policy norms for self-defense against “uncertain threats” in three contexts: (1) known in-progress violent crimes, (2) (...) interactions with civilians behaving non-aggressively, and (3) interactions with civilians behaving aggressively. It is argued that the context of a known in-progress violent crime gives rise to threat probability-, fairness-, and lesser evil-based reasons for a norm permitting police officers to use lethal force. However, in the contexts of civilians behaving non-aggressively and civilians behaving aggressively, such a norm is not justifiable. In the former case, I introduce two conditions, the Justification condition and the Valuing Civilian Lives condition, which I argue are not presently met. In the latter case, these two conditions again are not met; aggression may moreover be excused or justified due to background injustices around race and the criminal justice system. (shrink)

Many scholars of organizations see social enterprise as a promising approach to advancing social justice but neglect to scrutinize the normative foundations and limitations of this optimism. This article draws on Rawlsian political philosophy to investigate whether and how social enterprises can support social justice. We propose that this perspective assigns organizations a duty to foster institutional capacity, a concept we define and elaborate. We investigate how this duty might apply specifically to social enterprises, given their characteristic features. We theorize (...) six different mechanisms through which social enterprises might successfully discharge this duty. These results affirm the value of conversation between organizational studies and political philosophy and shed new light on debates regarding social enterprise, institutional theory, and several other topics. (shrink)

The proposed model in this paper employs different integrated detectors, such as heat, smoke, and flame. The signals from those detectors go through the system algorithm to check the fire's potentiality and then broadcast the predicted result to various parties using GSM modem associated with the GSM network system. The system uses various sensors to detect fire, smoke, and gas, then transmits the message using GSM module. After the message, send by the module the help arrives in 15 minutes. The (...) system is associated with water pump and a sprinkler. The Water system is associated with a water tank and a sprinkler. The water tank uses a Ultrasonic sensor to monitor the level of water level in the tank for refilling the water tank. Once fire is detected, it automatically sends the emergency message and sprinkles the water. (shrink)

Jacques Monod (1971) argued that certain molecular processes rely critically on the property of chemical arbitrariness, which he claimed allows those processes to “transcend the laws of chemistry”. It seems natural, as some philosophers have done, to interpret this in modal terms: a biological relationship is chemically arbitrary if it is possible, within the constraints of chemical “law”, for that relationship to have been otherwise than it is. But while modality is certainly important for understanding chemical arbitrariness, understanding its biological (...) role also requires an account of the concrete causal-functional features that distinguish arbitrary from non-arbitrary phenomena. In this paper I elaborate on this under-emphasised aspect by offering a general account of these features: arbitrary relations are instantiated by mechanisms that involve molecular adapters, which causally couple two properties or processes which would otherwise be uncorrelated. Additionally, adapters work by acting as intermediate rather than cooperating causes. (shrink)

The divide between oneself and others has made altruism seem irrational to some thinkers, as Sidgwick points out. I use characterizations of grief, especially by St. Augustine, to question the divide, and use a composition‐as‐identity metaphysics of parts and wholes to make literal sense of those characterizations.

The World Health Organization has declared the outbreak of the novel coronavirus, Covid-19 as pandemic across the world. With its alarming surge of affected cases throughout the world, lockdown, and awareness (social distancing, use of masks etc.) among people are found to be the only means for restricting the community transmission. In a densely populated country like India, it is very difficult to prevent the community transmission even during lockdown without social awareness and precautionary measures taken by the people. Recently, (...) several containment zones had been identified throughout the country and divided into red, orange and green zones, respectively. The red zones indicate the infection hotspots, orange zones denote some infection and green zones indicate an area with no infection. Contact tracing is known to be an effective technique for detecting and monitoring persons who may have been exposed to individuals infected with any communicable disease. While a good number of contact tracing schemas are existent today (eg., in-person and phone interviews, paper forms, email and web based questionnaires and smartphone apps), they often require active user participation and might miss certain COVID-19 transmission. The Android application updates the locations of the areas in a Google map which are identified to be the containment zones. The application also notifies the users if they have entered a containment zone and to achieve all these functionalities, many tools, and APIs from Google like Firebase and Geofencing API are used in this application. Therefore, this application can be used as a tool for creating further social awareness about the arising need of precautionary measures to be taken by the people of India. (shrink)

This study presented the policy of functional integration of the product planning team as a strategy for the development of the pharmaceutical industry in Palestine. The study population consists of all the workers in companies operating in the field of medicine in Palestine, which are (5) companies producing in the West Bank only for pharmaceuticals used by these companies, which are (296) employees, and was used a simple random sample to choose the sample and size (87) employees of the study (...) population, and to achieve the objectives of the study (87) questionnaires were distributed. The descriptive analytical method was used, and SPSS was used to answer and discuss the study's questions. The results showed that there is a significant relationship between the effectiveness of the policy of product development and the competitiveness of pharmaceutical companies in Palestine (West Bank), where the policy of product development efficiency accounts for 56.6% of the total change in the competitiveness of companies. The product quality component was most influential at all levels of product development effectiveness policy, followed by product identification, product cost reduction, packaging and product deletion. The weakest areas of strategic direction in pharmaceutical companies in Palestine (West Bank) are 67%. The weakest aspects of job integration are: non-regular meetings of representatives of different positions to participate in any project related to product development, to achieve spatial convergence of members of the product planning policy team in offices, laboratories and workplaces. (shrink)

In times of crises, public health leaders may claim that trials of public health interventions are unethical. One reason for this claim can be that equipoise—i.e. a situation of uncertainty and/or disagreement among experts about the evidence regarding an intervention—has been disturbed by a change of collective expert views. Some might claim that equipoise is disturbed if the majority of experts believe that emergency public health interventions are likely to be more beneficial than harmful. However, such beliefs are not always (...) justified: where high quality research has not been conducted, there is often considerable residual uncertainty about whether interventions offer net benefits. In this essay we argue that high-quality research, namely by means of well-designed randomized trials, is ethically obligatory before, during, and after implementing policies in public health emergencies (PHEs). We contend that this standard applies to both pharmaceutical and non-pharmaceutical interventions, and we elaborate an account of equipoise that captures key features of debates in the recent pandemic. We build our case by analyzing research strategies employed during the COVID-19 pandemic regarding drugs, vaccines, and non-pharmaceutical interventions; and by providing responses to possible objections. Finally, we propose a public health policy reform: whenever a policy implemented during a PHE is not grounded in high-quality evidence that expected benefits outweigh harms, there should be a planned approach to generate high-quality evidence, with review of emerging data at preset time points. These preset timepoints guarantee that policymakers pause to review emerging evidence and consider ceasing ineffective or even harmful policies, thereby improving transparency and accountability, as well as permitting the redirection of resources to more effective or beneficial interventions. (shrink)

O objetivo deste trabalho consiste em apresentar algumas mudanças promovidas por Hobbes entre Elementos da Lei e as edições inglesas de Leviatã e De Corpore no que diz respeito à sua teoria da linguagem. Sustenta-se que não é possível conceber uma unidade entre todas as obras supracitadas e que De Corpore contém a versão final da teoria da linguagem hobbesiana; e sugere-se que as alterações promovidas se devem, ao menos em parte, às críticas que Descartes promove nas respostas às Terceiras (...) Objeções e à adoção, a partir de 1651, da geometria, enquanto método, na teoria da linguagem. (shrink)

Berkeley says both that one sometimes immediately perceives the same thing by sight and touch, and that one never does. To solve the contradiction I recommend and explain a distinction Berkeley himself makes—between two uses of ‘same’. This solution unifies two seemingly inconsistent parts of Berkeley’s whole project: He argues both that what we see are bits of light and color organized into a language by which God speaks to us about tactile sensations, and yet that we directly see ordinary (...) objects. My solution explains how these can come to the same thing. (shrink)

Although formal thought disorder (FTD) has been for long a clinical label in the assessment of some psychiatric disorders, in particular of schizophrenia, it remains a source of controversy, mostly because it is hard to say what exactly the “formal” in FTD refers to. We see anomalous processing of terminological knowledge, a core construct of human knowledge in general, behind FTD symptoms and we approach this anomaly from a strictly formal perspective. More specifically, we present here a symbolic computational model (...) of storage in, and activation of, a human semantic network, or semantic memory, whose core element is logical form; this is normalized by description logic (DL), namely by CL, a DL-based language – Conception Language – designed to formalize conceptualization from the viewpoint of individual cognitive agency. In this model, disruptions in the rule-based implementation of the logical form account for the apparently semantic anomalies symptomatic of FTD, which are detected by means of a CL-based algorithmic assessment. (shrink)

All research is immersed in the competition for knowledge, but this is not always governed by fairness. In this opinion article, I elaborate on indicators of unfairness to be found in both evaluation guides and evaluation panels, and I spontaneously offer a number of rules of thumb meant to keep it at bay. Although they are explicitly offered to the Portuguese Foundation for Science and Technology (FCT) and in particular to the evaluation panel for Philosophy, Ethics and Religion of FCT's (...) fifth edition of their Individual Call to Scientific Employment Stimulus, here used as concrete illustrations of unfairness, my rules of thumb are guaranteed to promote fairness in the competition for knowledge in general. (shrink)

Reasoning over our knowledge bases and theories often requires non-deductive inferences, especially – but by no means only – when commonsense reasoning is the case, i.e. when practical agency is called for. This kind of reasoning can be adequately formalized via the notion of supraclassical consequence, a non-deductive consequence tightly associated with default and non-monotonic reasoning and featuring centrally in abductive, inductive, and probabilistic logical systems. In this paper, we analyze core concepts and problems of these systems in the light (...) of supraclassical consequence. (shrink)

Ideas for integrating AI into politics are now emerging and advancing at accelerating pace. This chapter highlights a few different varieties and show how they reflect different assumptions about the value of democracy. We cannot make informed decisions about which, if any, proposals to pursue without further reflection on what makes democracy valuable and how current conditions fail to fully realize it. Recent advances in political philosophy provide some guidance but leave important questions open. If AI advances to a state (...) where it can secure superior political outcomes, leading perspectives in political philosophy suggest that democracy may become obsolete. If we find this suggestion troubling, we need to put the case for democracy on stronger foundations. (shrink)

As these opening quotes acknowledge, the Prisoner’s Dilemma (PD) represents a core puzzle within the formal mathematics of game theory.3 Its rise in conspicuity is evident figure 2.1 above demonstrating a relatively steady rise in incidences of the phrase’s usage between 1960 to 1995, with a stable presence persisting into the twenty first century. This famous two-person “game,” with a stock narrative cast in terms of two prisoners who each independently must choose whether to remain silent or speak, each advancing (...) self-interest at the expense of the other and thereby achieving a mutually suboptimal outcome, mires any social interaction it is applied to into perplexity. The logic of this game proves the inverse of Adam Smith’s invisible hand: individuals acting on self interest will achieve a mutually suboptimal outcome. However, as this chapter illuminates, the assumptions underlying game theory drive this conclusion. (shrink)

Male genital problems and injuries may occur quite simply because of the scrotum and penis are not protected like other organs. Genital problems and injuries normally happen through: recreational activities (like Football, Hooky, biking, basketball), work- related tasks (like contact to irritating chemicals), downhill drop, and sexual activity. A genital injury frequently causes harsh pain that typically disappear fast without causing enduring harm. Home handling is generally all that is required for trivial problems or injuries. Pain, inflammation, staining, or rashes (...) that are coexist with other symptoms might be a source for concern. Genital problems in men is one of the most common problems which requires fast intervention. In this paper we present an expert system that help men diagnose their genital problems and give them the proper treatment. SL5 Object expert system language was used to design and implement this expert system. (shrink)

The relations between ontology and information are many and fundamental, and they help us to understand the present gulf between (formal) ontology and (philosophical) Ontology: We can speak of respectively ontology-driven information and information-driven ontology as the focus on being informed vs. informed being. The question of whether these two (can) coincide is relevant to both fields, and in this article I elaborate on what needs to be addressed first of all to provide us with an answer: The form. This (...) core ontological concept rooting in Aristotelian metaphysics was central to philosophical ontology, in particular in Latin Scholasticism, when it was clearly put into relation with information as that which defines an entity. In this context, Dietrich of Freiberg synthesized this long debate in a way that matters not only to the philosophical effort of producing information-driven ontologies but also to the engineering constructs of ontology-driven information systems. (shrink)

Formal thought disorder (FTD) is a clinical mental condition that is typically diagnosable by the speech productions of patients. However, this has been a vexing condition for the clinical community, as it is not at all easy to determine what “formal” means in the plethora of symptoms exhibited. We present a logic-based model for the syntax–semantics interface in semantic networking that can not only explain, but also diagnose, FTD. Our model is based on description logic (DL), which is well known (...) for its adequacy to model terminological knowledge. More specifically, we show how faulty logical form as defined in DL-based Conception Language (CL) impacts the semantic content of linguistic productions that are characteristic of FTD. We accordingly call this the dyssyntax model. (shrink)